конъюнкция
91логика эпистемическая — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как полагает ( убежден ), сомневается , отвергает , знает , доказуемо , неразрешимо , опровержимо т. п. Знание отличается от… …
92модус поненс — (лат. modus ponens) термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно называемое правилом отделения (иногда гипотетическим силлогизмом), позволяет от утверждения… …
93непротиворечия закон — логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными. Закон говорит о противоречащих друг другу высказываниях, т. е. высказываниях, одно из которых является отрицанием другого. Отсюда иное название …
94пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… …
95транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …
96функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак + можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние… …
97Зайцев, Дмитрий Владимирович — (р. 21.02.1962) спец. по логике; канд. филос. наук. Род. в Москве. Окончил филос. ф т МГУ (1988), асп. филос. ф та (1991). Канд. дисс. "Релевантная логика и социология: семантические проблемы" (1991). С 1991 работает на кафедре логики… …
98Вероятностная логика — логическая система, в которой высказываниям (суждениям, утверждениям, предложениям), помимо истины и лжи, приписываются «промежуточные» истинностные значения, называемые вероятностями истинности высказываний, степенями их правдоподобия,… …
99Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… …
100Логическая операция — в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… …
